/LMAR=0/XLINE=3/FONT#0=BAXL30[FNT,CLT]/FONT#1=BAXM30/FONT#2=BAXB30[FNT,CLT]/FONT#5=GACS25/FONT#3=SUB/FONT#4=SUP/FONT#7=SYMB30[FNT,CLT]

␈↓ ↓H␈↓␈↓ ∧+COMPUTER SCIENCE DEPARTMENT
␈↓ ↓H␈↓␈↓ ¬πSTANFORD UNIVERSITY
␈↓ ↓H␈↓CS206  ␈↓ βiRECURSIVE PROGRAMMING AND PROVING ␈↓ 
0FALL 1979
␈↓ ↓H␈↓␈↓ ¬DPROBLEM SET  4
␈↓ ↓H␈↓␈↓ ¬pDue  Nov. 29

␈↓ ↓H␈↓1.  inplace reverse

␈↓ ↓H␈↓2. program transformer:

␈↓ ↓H␈↓2.1.  prog → set of mutual rec defns.

␈↓ ↓H␈↓2.2. set of mutual rec defns. → to smaller set

␈↓ ↓H␈↓3. iterative program→elephant→proof